Memory Scalability in Constraint - Based Multimedia Style Sheet Systems 1 Memory Scalability in Constraint - Based
نویسندگان
چکیده
Multimedia style sheet systems uniformly use a constraint-based model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and are better-suited to non-textual media than ow models. We have developed a prototype style sheet system, Proteus, and have used it with a variety of document types, including program source code. This work has exposed a critical performance problem in constraint-based style sheet runtime systems: memory usage. Existing constraint systems treat cached attribute values and constraints as rst-class objects, each with its own storage. Program syntax trees are very large and the constraint data for a medium-sized source le can easily consume tens of megabytes of main memory. This scalability problem would be exposed by any document of any type containing thousands of objects. We present here a new constraint-based runtime system that is substantially faster and dramatically more space-eecient than its predecessor , which had rst-class constraint objects. The improved performance is the result of exploiting important common cases and a sophisticated constraint representation that allows considerable sharing of information between individual constraints.
منابع مشابه
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems
Multimedia style sheet systems uniformly use a constraint-based model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and are better-suited to non-textual media than flow models. We have developed a prototype style sheet system, Proteus, and have used it with a variety of document types, including program source code. This work has exposed a cri...
متن کاملAnalyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constraints on execution traces, in an axiomatic style. A direct encoding of the semantics with a constraint logic programming language provides an interactive and incremental framework for exercising and verifying finite te...
متن کاملData Distribution Management for High Performance Distributed Simulation in Resource-constraint Environment
Data Distribution Management (DDM) is responsible in parallel and distribution simulation, especially in large-scale distributed modeling and simulation applications, for limiting and controlling the data exchanged and reducing the processing requirements of federates. In high-performance distributed simulation, system scalability can be seriously inhibited by limits on resources such communica...
متن کاملDynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture
Due to diversified and frequently changing demands from customers, technological advances and global competition, manufacturers rely on collaboration with their business partners to share costs, risks and expertise. How to take advantage of advancement of technologies to effectively support operations and create competitive advantage is critical for manufacturers to survive. To respond to these...
متن کاملMemory-Model-Sensitive Data Race Analysis
We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-thread memory consistency model and the intra-thread program semantics as constraints, a program verification task can be reduced to an equivalent constraint solving problem, thus allowing an exhaustive examination of all thread int...
متن کامل